The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

Black Box Logging and Tertiary Monitoring of Continuous Assurance Systems

Formal Assurance for Cognitive Architecture Based Autonomous Agent

Autonomous systems are designed and deployed in different modeling paradigms. These environments focus on specific concepts in designing the system. We focus our effort in the use of cognitive architectures to design autonomous agents to collaborate with humans to accomplish tasks in a mission. Our research focuses on introducing formal assurance methods to verify the behavior of agents designe...

High Assurance Aerospace CPS & Implications for the Automotive Industry

The future “eEnabled” airplane, capable of participating as an intelligent node in a global information network, is a cyber-physical system (CPS) that requires real-time, continuous and concurrent monitoring as well as control. Vulnerabilities, however, can emerge from the integration of the eEnabled airplane with cyberinfrastructure such as the onboard embedded systems, the ground IT systems a...

An Architecture Analysis Approach for Supporting Black-Box Software Development

A typical component-based system architecture comprises a set of components that have been purposefully designed and structured to ensure that they have "pluggable" interfaces and an acceptable match with a defined system context. However, the black-box nature of many software components means there is never a clean match between system specifications and concrete software components. Systemati...

study of cohesive devices in the textbook of english for the students of apsychology by rastegarpour

this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...